dedekind completion

绰金完备化